---

multiprogramming logic proof

英 [ˌmʌltɪˈprəʊgræmɪŋ ˈlɒdʒɪk pruːf] 美 [ˌmʌltiˈproʊˌgræmɪŋ ˈlɑːdʒɪk pruːf]

【计】多道程序设计逻辑证明

计算机

---

---